/*
 * FormulaeContainer.h
 *
 *  Created on: 11/giu/2012
 *      Author: Lorenzo
 */

#ifndef FORMULAECONTAINER_H_
#define FORMULAECONTAINER_H_

#include <vector>
#include "Formula.h"


class FormulaeContainer {
public:
	FormulaeContainer();
	virtual ~FormulaeContainer();


private:
	std::vector<Formula*> formulae;

};

#endif /* FORMULAECONTAINER_H_ */
